Exact analysis of (R,s, S) inventory control systems with lost sales and zero lead time

We study an (R, s, S) inventory control policy with stochastic demand, lost sales, zero lead‐time and a target service level to be satisfied. The system is modeled as a discrete time Markov chain for which we present a novel approach to derive exact closed‐form solutions for the limiting distribution of the on‐hand inventory level at the end of a review period, given the reorder level (s) and order‐up‐to level (S). We then establish a relationship between the limiting distributions for adjacent values of the reorder point that is used in an efficient recursive algorithm to determine the optimal parameter values of the (R, s, S) replenishment policy. The algorithm is easy to implement and entails less effort than solving the steady‐state equations for the corresponding Markov model. Point‐of‐use hospital inventory systems share the essential characteristics of the inventory system we model, and a case study using real data from such a system shows that with our approach, optimal policies with significant savings in inventory management effort are easily obtained for a large family of items.     

基于程序状态变迁的ASLR机制脆弱性分析方法

地址随机化ASLR是一种针对控制流劫持漏洞的防御机制。已有的漏洞自动分析与利用技术缺少对地址随机化机制影响的分析,导致生成的测试用例在实际环境中的运行效果受到极大限制。针对地址随机化的缺陷及其绕过技术的特点,本文提出了一种地址随机化脆弱性分析方法。该方法使用有限状态机描述程序运行路径中各关键节点的状态；针对常见的内存泄漏与控制流劫持场景建立约束条件；通过求解内存泄露状态约束与控制流劫持状态约束的兼容性,分析地址随机化机制在特定场景下的脆弱性。实验结果显示,该方法可有效检测通过内存泄漏导致的地址随机化绕过及控制流劫持攻击,实现自动化的地址随机化脆弱性分析,提高针对软件安全性分析的效率。     

超声速混合层发展情况的非线性时间序列分析

采用大涡模拟数值方法,模拟了具有工程应用背景的二维超声速湍流混合层,通过非线性时间序列分析伪相图、关联维数和Lyapunov指数,得到了混合层发展情况的混沌特性.结果表明,混合层中心线沿流向位置的压力伪相图可定性地表示混合层的稳定性,关联维数分布可定量描述混合层经历的线性失稳、非线性失稳和涡合并阶段等发展情况,最大Lyapunov指数分布作为关联维数分析结果的验证.对于相应的超声速混合层实验,采用非线性时间序列分析方法研究混合层发展情况具有通用性.     

基于极球面投影的极区格网坐标表示方法?

随着全球气候变暖，北极冰盖的快速消融使北极航道的夏季全线通航成为可能，但由于极区经线的快速收敛，导致基于地理坐标的传统航海导航方法误差过大而不能使用。针对这一问题引发的极区导航问题进行研究，首先对常用海图及传统航海导航方法在极区使用存在的问题进行分析，然后采用极球面投影下的极区格网坐标表示方法，给出了极球面投影格网坐标与地理坐标的转换关系，该方法能够使在极区航行的船舶便捷、准确地确定其在地球的位置，为极区航海作业提供方便。     

Revenue management under randomly evolving economic conditions

We consider a dynamic pricing model in which the instantaneous rate of the demand arrival process is dependent on not only the current price charged by the concerned firm, but also the present state of the world. While reflecting the current economic condition, the state evolves in a Markovian fashion. This model represents the real‐life situation in which the sales season is relatively long compared to the fast pace at which the outside environment changes. We establish the value of being better informed on the state of the world. When reasonable monotonicity conditions are met, we show that better present economic conditions will lead to higher prices. Our computational study is partially calibrated with real data. It demonstrates that the benefit of heeding varying economic conditions is on par with the value of embracing randomness in the demand process. © 2015 Wiley Periodicals, Inc. Naval Research Logistics 66:73–89,2019     

加筋板架抗动能穿甲的等效防护厚度研究

为研究舰船舷侧结构抗穿甲性能,采用有限元分析了两种典型工况下板架的穿甲破坏模式、弹体的剩余速度和板架的变形吸能规律,提出了基于剪切冲塞模式的剩余速度理论计算模型,比较了不同等效计算方法得到的结果,并将理论计算结果分别与相关文献的实验结果和本文的有限元计算结果进行了比较,两者之间均吻合较好。结果表明,加强筋对板架的抗穿甲性能影响较大,而板架的实际等效厚度是决定其抗穿甲性能的主要因素;不同的等效计算方法与模型相对尺寸、弹体冲击速度以及命中位置有关,对于弹体直径相对较大且初始冲击速度较高时,不同的等效计算方法得到的结果基本一致。     

基于Floyd算法的常规导弹连续波次作战运输规划

为提高常规导弹连续波次作战效能，对常规导弹连续波次作战运输规划问题进行研究。以Floyd算法为基础，首先生成了作战机动区域的交通网络最短路径、距离矩阵；其次将常规导弹连续波次作战运输过程分解为不同阶段，以运输过程中的整体暴露时间最短为目标，构建了初始规划方案0-1整数规划模型；然后考虑道路通行量及地域容量限制，对初始规划方案中存在的地域容量超过限制及单行道路中会车、超车情况进行逐步循环优化，以得到最佳运输规划方案；最后选择了一个作战案例想定，通过Matlab编程对案例进行了求解，得到了针对此案例的最佳运输规划方案，验证了模型的正确性和算法的有效性。     

一体化联合作战指挥决策节点提前工作时间研究

分布式联合决策可缩短系统决策时间,提高决策质量.运用分布式联合决策,其关键点之一是确定各流程节点的工作开始时刻.依据影响分布式联合决策各节点开始工作时刻的主要因素是上下节点间传递的信息的特点,引入了信息熵的概念,通过一定的阈值来确立分布式联合决策系统中各节点的开始决策时刻.利用Bernstein多项式建立了分布式联合决策开始时刻数学模型,给出了求解该数学模型的方法,指出了该模型应用于实践的思路.     

关于有限变形非弹性有限单元法的研究进展

对有限变形非弹性有限单元法研究发展中的一些普遍关注的研究课题,进行了回顾和展望。这些课题包括:不同参考构形下的有限元列式、客观性应力率的合理定义、有限变形非弹性本构方程的精确描述、率本构方程的增量客观数值积分、塑性流动的不可压缩性与自锁现象、以及交界面接触与摩擦的处理。     

量测误差的时间序列分析方法

针对工程实践中实际量测误差大多并非纯白噪声特点,运用概率统计学的一个分支——时间序列分析中提供的动态数据处理的方法,采用多种的参数估计算法来对量测误差进行拟合和仿真,给出了实验室仿真过程中需叠加的量测误差的新生成办法。所用方法可以推广到对其它数据序列的处理。